$\forall$$r$, $s$:RngSig. RingHom($r$;$s$) $\in$ $\mathbb{P}$